<?php
	// This is not a package.
	header ("location: ../index.php");
?>